fact(5)